|
In mathematics, in particular in the theory of schemes in algebraic geometry, a flat morphism ''f'' from a scheme ''X'' to a scheme ''Y'' is a morphism such that the induced map on every stalk is a flat map of rings, i.e., :''fP'': ''OY,f(P)'' → ''OX,P'' is a flat map for all ''P'' in ''X''.〔EGA IV2, 2.1.1.〕 A map of rings A → B is called flat, if it is a homomorphism that makes B a flat A-module. A morphism of schemes ''f'' is a faithfully flat morphism if ''f'' is a surjective flat morphism.〔EGA 0I, 6.7.8.〕 Two of the basic intuitions are that ''flatness is a generic property'', and that ''the failure of flatness occurs on the jumping set of the morphism''. The first of these comes from commutative algebra: subject to some finiteness conditions on ''f'', it can be shown that there is a non-empty open subscheme ''Y''′ of ''Y'', such that ''f'' restricted to ''Y''′ is a flat morphism (generic flatness). Here 'restriction' is interpreted by means of fiber product, applied to ''f'' and the inclusion map of ''Y''′ into ''Y''. For the second, the idea is that morphisms in algebraic geometry can exhibit discontinuities of a kind that are detected by flatness. For instance, the operation of blowing down in the birational geometry of an algebraic surface, can give a single fiber that is of dimension 1 when all the others have dimension 0. It turns out (retrospectively) that flatness in morphisms is directly related to controlling this sort of semicontinuity, or one-sided jumping. Flat morphisms are used to define (more than one version of) the flat topos, and flat cohomology of sheaves from it. This is a deep-lying theory, and has not been found easy to handle. The concept of étale morphism (and so étale cohomology) depends on the flat morphism concept: an étale morphism being flat, of finite type, and unramified. == Properties of flat morphisms == Let be a morphism of schemes. For a morphism , let and . ''f'' is flat if and only if for every ''g'', the pullback ''f''′ * is an exact functor from the category of quasi-coherent -modules to the category of quasi-coherent -modules.〔EGA IV2, Proposition 2.1.3.〕 Assume that and are morphisms of schemes. Assume furthermore that ''f'' is flat at ''x'' in ''X''. Then ''g'' is flat at ''f''(''x'') if and only if ''gf'' is flat at ''x''.〔EGA IV2, Corollaire 2.2.11(iv).〕 In particular, if ''f'' is faithfully flat, then ''g'' is flat or faithfully flat if and only if ''gf'' is flat or faithfully flat, respectively.〔EGA IV2, Corollaire 2.2.13(iii).〕 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Flat morphism」の詳細全文を読む スポンサード リンク
|